Reduce 0 THEN Auto THEN ObviousFrom [({-}1)]